-categoricity of products of 1-unary algebras
-Boolean spectrum, and stability
Si dimostra che la conoscenza delle algebre di Boole dei definibili di modelli di cardinità di una teoria elementare è sufficiente per decidere il suo tipo di stabilità.
-категоричные коммутативные кольца
-embedding, Amalgamation and -elementary equivalence
Ogni logica genera canonicamente la -equivalenza e la -immersione proprio come la logica del primo ordine genera l’equivalenza elementare e l’immersione elementare . Astraendo da , è interessante studiare in sè relazioni d’equivalenza e di immersione generali tra strutture. Mostriamo che esiste una corrispondenza biunivoca tra relazioni d’equivalenza con la proprietà di Robinson e relazioni d’immersione con la proprietà di Amalgamazione Forte (). Caratterizziamo algebricamente quelle...
-groups and pseudo-bad groups.
-model and distributivity in Boolean algebras
-theories of Boolean algebras
-Spaces and injective locally convex spaces [Book]
-purity and orthogonality.
-свободные группы.
...-Categorical Stable Groups.
ℳ-rank and meager groups
Assume p* is a meager type in a superstable theory T. We investigate definability properties of p*-closure. We prove that if T has countable models then the multiplicity rank ℳ of every type p is finite. We improve Saffe’s conjecture.
ℳ-rank and meager types
Assume T is superstable and small. Using the multiplicity rank ℳ we find locally modular types in the same manner as U-rank considerations yield regular types. We define local versions of ℳ-rank, which also yield meager types.
...-Strukturen.
[unknown]
[unknown]
-tautologies, uniform and non-uniform upper bounds in computation theory
Una -tautologia è una tautologia del tipo avente un solo interpolante di Craig , a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale , mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.
Δ-extension and Hanf-numbers
-satisfiability, -consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for with a strong limit cardinal of cofinality
- Théorie des ensembles